Issue279-4.agda:14,18-21
P != Q of type Set
when checking that the pattern r q has type M.R Q
